ABS: s = t

ABS: s ~ t

ABS: Type

ABS: Void

ABS: any

ABS: Atom

ABS: "$token"

ABS: 

ABS: Object

ABS: #$n

ABS: -n

ABS: n+m

ABS: n-m

ABS: nm

ABS: n  m

ABS: n rem m

ABS: ind(v; x,y.d(x;y); b; w,z.u(w;z))

ABS: type List

ABS: nil

ABS: car.cdr

ABS: Case of a; nil  s ; x.y, rec:z  t(x;y;z)

ABS: left+right

ABS: inl(x)

ABS: inr(x)

ABS: Case b of inl(x)  s(x) ; inr(y)  t(y)

ABS: x:AB(x)

ABS: <a,b>

ABS: A/x,y. B(x;y)

ABS: x:AB(x)

ABS: {x | y:A  B(x;y)}

ABS: x:A. B(x)

ABS: x.A(x)

ABS: f(a)

ABS: x,y:A//B(x;y)

ABS: {x:A| B(x) }

ABS: a<b

ABS: if a=bAtomc; d fi

ABS: if a=b c ; d fi

ABS: if a<b c ; d fi

ABS: recind(A; x,y. B(x;y))

ABS: rec(x.A(x))

ABS: t  T

ABS: Unit

ABS: True

ABS: False

ABS: P & Q

ABS: P  Q

ABS: P  Q

ABS: P  Q

ABS: T

ABS: A

ABS: a  b

ABS: P  Q

ABS: x:A. B(x)

ABS: x:A. B(x)

ABS: x:A. B(x)

ABS: AB

ABS: ij

ABS: i>j

ABS: S  T